(let x (read 789))
(print 1 2 3 x x)
